Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
121	Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of aut Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Reactive planning Robot Motion planning Humanoid robot Model checking Linear temporal logic Planning STRIPS NuSMV Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
122	Interconnection Semantics for Keyword Search in XML Sara Cohen∗ Yaron Kanza Technion—Israel Institute of Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-11-04 06:34:23 Complexity classes NP-complete problems Logic in computer science Graph connectivity Graph theory Tree Connectivity L Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
123	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
124	Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 11:47:58 Critical thinking Arguments Logic Argumentation theory NP-complete Boolean satisfiability problem NP-hard Oracle machine Algorithm Theoretical computer science Applied mathematics Complexity classes
125	Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model checkers Logic in computer science Alloy Analyzer Massachusetts Institute of Technology Alloy NuSMV Formal verification First-order logic Boolean satisfiability problem Theoretical computer science Formal methods Applied mathematics
126	Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 11:47:58 Critical thinking Arguments Logic Argumentation theory NP-complete Boolean satisfiability problem NP-hard Oracle machine Algorithm Theoretical computer science Applied mathematics Complexity classes
127	Power Analysis Tutorial Manfred Aigner and Elisabeth Oswald Institute for Applied Information Processing and Communication University of Technology Graz Inﬀeldgasse 16a, A-8010 Graz, Austria Add to Reading List Source URL: www.iaik.tugraz.at Language: English - Date: 2015-01-15 02:33:22 Integrated circuits Logic gates Electromagnetism Logic families Power analysis Digital signal processing Inverter CMOS Digital signal Electronic engineering Electronics Digital electronics
128	Presentation of the fuzzy expert systems, possible use in the CN-MIP project Gianni BELLOCCHI French National Institute for Agricultural Research, Clermont-Ferrand, France 2nd CN-MIP Project Meeting Add to Reading List Source URL: modextreme.org Language: English - Date: 2015-03-11 05:46:14 Scientific modelling Evaluation Economic model Science Ethology Gianni Bellocchi Logic Fuzzy logic
129	SIM-DLA : A Novel Semantic Similarity Measure for Description Logics Reducing Inter-Concept to Inter-Instance Similarity Krzysztof Janowicz and Marc Wilkes Institute for Geoinformatics, University of Muenster, Germany ja Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:43:35 Science Semantic similarity Artificial intelligence Similarity Description logic Symmetry Semantics Jaccard index Geometry Computational linguistics Statistics
130	A Study on the Cognitive Plausibility of SIM-DL Similarity Rankings for Geographic Feature Types Krzysztof Janowicz, Carsten Keßler, Ilija Panov, Marc Wilkes, Martin Espeter, and Mirco Schwarz Institute for Geoinformati Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:24:55 Information science Semantic Web Ontology Knowledge engineering Knowledge representation Semantic similarity Description logic Similarity Ontology language Knowledge Science Information